Program correctness over abstract data types, with error-state semantics
نویسندگان
چکیده
منابع مشابه
Types for Correctness of Queries over Semistructured Data
A type system for a query language should serve both purposes of verifying whether a query is coherent with what is known about the structure of the database (query correctness) and of giving information about the type of the query result (result analysis). Current proposals for typed query languages for semistructured data are usually focused on result analysis, but perform very few controls, ...
متن کاملCorrectness of Program Translations for Observational Semantics
ing from these examples, a calculus in our framework consists of a collection of types, typed programs, typed contexts, a notion of observation and a notion of closedness. In the following we use a slightly more neutral terminology and, instead ACM Transactions on Programming Languages and Systems, Vol. V, No. N, Month 20YY. Correctness of Program Translations for Observational Semantics · 9 of...
متن کاملSemantics - Based Change - Merging of Abstract Data Types
Data Type (ADT) Classes are mechanisms to create objects. These objects interact with other objects through methods or functions defined in the classes. In increasingly complex software scenarios, different parts of a software system are implemented by different teams. It may happen that programmers who design a class do not use the same class. Some other programmer may use it. A class, which e...
متن کاملTypes for Path Correctness of XML Queries ( Extended Abstract )
If a subexpression in a query will never contribute data to the query answer, this should be regarded as an error. This principle has been recently accepted into mainstream XML query languages, but was still waiting for a complete treatment. We provide here a precise definition for this class of errors, and define a type system that is sound and complete, in its search for such errors, for a co...
متن کاملDistributed Abstract Data Types
Abstract. In this paper we introduce the concept of Distributed Abstract Data Type (DADT), a new programming model simplifying the development of distributed, context-aware applications. A DADT instance logically encapsulates a collection of ADT instances distributed throughout the system. DADT operations specify the semantics of access to this distributed state by using dedicated programming c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computational and Applied Mathematics
سال: 1989
ISSN: 0377-0427
DOI: 10.1016/0377-0427(89)90312-9